Type Definition isotope::ctx::ty::TrivialCons[][src]

type TrivialCons<C> = BinaryCtx<C, Untyped>;
Expand description

Wrap a typing context into a trivial one

Implementations

Create a new trivial typing context with the given consing context